Type Oriented Logic Meta Programming for Java
نویسنده
چکیده
This paper presents Type-Oriented Logic Meta Programming. The idea is based on a representation of programs as sets of logic propositions focusing on the type properties of the base-language program. This representation allows generation of base-level code from compiletime logic meta programs that manipulate code fragments and their type properties. We apply this idea to Java and present TyRuBa, a Type-Oriented Logic Meta Programming system for Java. We illustrate that TyRuBa subsumes existing proposals for adding parametric and bounded parametric polymorphism to Java and surpasses them in expressive power.
منابع مشابه
Aspect-Oriented Logic Meta Programming
We propose to use a logic meta-system as a general framework for aspect-oriented programming. We illustrate our approach with the implementation of a simpli ed version of the cool aspect language for expressing synchronization of Java programs. Using this case as an example we illustrate the principle of aspect-oriented logic meta programming and how it is useful for implementing weavers on the...
متن کاملGenerating AspectJ Programs with Meta-AspectJ
Meta-AspectJ (MAJ) is a language tool for generating AspectJ programs using code templates. MAJ itself is an extension of Java, so users can interleave arbitrary Java code with AspectJ code templates. MAJ is a structured meta-programming tool: a well-typed generator implies a syntactically correct generated program. MAJ promotes a methodology that combines aspect-oriented and generative program...
متن کاملInductive Logic Programming for Bioinformatics in Prova
This paper describes the inductive logic programming (ILP) features of Prova, a state-of-art distributed Semantic Web and Life Science inference service system and architecture for multi-relational data mining of complex Life Science phenomena such as complex biological relationships. The proposed novel design artifact implements typical ILP inference formalisms for rule-based generalization an...
متن کاملMultiparadigm Extensions to Java
In 1995 my students and I developed Leda, a multiparadigm language based on the Pascal model. Leda allowed programmers to create abstractions in an object-oriented, functional, or logic programming style. More recently we have been interested in recreating this work, but this time using Java as the language basis. The objective to to add as few new operations as possible, and to make these oper...
متن کاملGeneric Roles for Increased Reuseability
Role-based programming, as in the Object Teams/Java (OT/J) language, aims to improve object-oriented programming with regard to separation of crosscutting or context-related concerns. Therefore, OT/J introduces class-like modules for roles and context, which connect common classes to build collaborations. However, since role and base objects are directly linked, it implies strong coupling and l...
متن کامل